f786e426a8913935e2104f4a70dee26175397159,src/main/java/org/basex/query/func/FNDb.java,FNDb,delete,#QueryContext#,338

Before Change


   * @throws QueryException query exception
   */
  private Item delete(final QueryContext ctx) throws QueryException {
    final Data data = ctx.resource.data(checkStr(expr[0], ctx), input);
    final String path = string(checkStr(expr[1], ctx));

    final int[] docs = data.doc(path);

After Change


   * @throws QueryException query exception
   */
  private Item delete(final QueryContext ctx) throws QueryException {
    final String path = path(string(checkStr(expr[0], ctx)));

    // the first step of the path should be the database name
    final int pos = path.indexOf('/');
    if(pos <= 0) NODB.thrw(input, path);
    final byte[] db = token(path.substring(0, pos));
    final Data data = ctx.resource.data(db, input);

    final String trg = path.substring(pos + 1);

    final int[] docs = data.doc(trg);
    for(final int pre : docs)